Monica S. Lam - PDFSEARCH.IO - Document Search Engine

Monica S. Lam
Results: 79

#	Item
21	Reflection Analysis for Java Benjamin Livshits, John Whaley, and Monica S. Lam? Computer Science Department Stanford University Stanford, CA 94305, USA {livshits, jwhaley, lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-09-07 13:39:43 Method Reflection Datalog Objective-C Java Native Interface Java Call graph Graph Constructor Computing Software engineering Computer programming
22	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
23	Design and Evaluation of a Compiler Algorithm for Prefetching Todd C. Mowry, Monica S. Lam and Anoop Gupta Computer Systems Laboratory Stanford University, CA 94305 Add to Reading List Source URL: www-suif.stanford.edu Language: English - Date: 2006-06-25 21:11:32 Computer hardware Computer programming CPU cache Loop nest optimization Cache Memory hierarchy Software pipelining Lookup table Acumem SlowSpotter Computing Computer memory Compiler optimizations
24	LivePCs: Consumerizing PCs, from Research to Product Faculty of Engineering Keynote Speaker: Professor Monica Lam Add to Reading List Source URL: engg.hku.hk Language: English - Date: 2007-12-03 07:05:21 Monica S. Lam Computing MokaFive Compilers: Principles Techniques and Tools Compiler Tensilica Computer Compiler construction Year of birth missing Software
25	2011 Robert Stewart Distinguished Lecture Alfred Aho, Columbia University Thursday April 14, 2011 3:40pm, Howe Hall Alliant Energy Lee Liu Auditorium Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-03-16 15:03:16 Alfred Aho Columbia University Guggenheim Fellows Brian Kernighan AWK Jeffrey Ullman John Hopcroft Aho Monica S. Lam Computing Software engineering Software
26	Reflection Analysis for Java Benjamin Livshits, John Whaley, and Monica S. Lam? Computer Science Department Stanford University Stanford, CA 94305, USA {livshits, jwhaley, lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Object-oriented programming Reflection Datalog Objective-C Java Native Interface Java Call graph Graph Class Software engineering Computing Computer programming
27	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:12 Boolean algebra Diagrams Binary decision diagram Model checking Monica S. Lam Datalog Pointer analysis Algorithm Pointer Computing Mathematics Software engineering
28	2011 Robert Stewart Distinguished Lecture Alfred Aho, Columbia University Thursday April 14, 2011 3:40pm, Howe Hall Alliant Energy Lee Liu Auditorium Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-03-16 15:03:16 Alfred Aho Columbia University Guggenheim Fellows Brian Kernighan AWK Jeffrey Ullman John Hopcroft Aho Monica S. Lam Computing Software engineering Software
29	Automatic Extraction of Object-Oriented Component Interfaces John Whaley Michael C. Martin Monica S. Lam Computer Systems Laboratory Stanford University {jwhaley, Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:34:49 Object-oriented programming Java Model checking Static program analysis Class Objective-C Method Common Object Request Broker Architecture Actor model Computing Software engineering Computer programming
30	An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages John Whaley Monica S. Lam Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:34:49 Linked list Cycle detection Networks Graph theory Graph coloring Topology Belief propagation Mathematics Combinatorics Data-flow analysis